$(document).ready(function() {
 prettyPrint();
});